\documentclass[10pt]{article}
\usepackage[margin=3cm]{geometry}
\usepackage{hyperref}
\title{\bfseries\Large Peng Fu - Curriculum Vitae}
%\author{peng-fu@uiowa.edu}
\date{}
\begin{document}
\maketitle
\vspace{-4em}
\begin{center}
\begin{minipage}[c]{0.48\textwidth}
Department of Computer Science\\
The University of Iowa\\
Iowa City, IA 52242-1419\\
peng-fu@uiowa.edu\\
\url{http://homepage.cs.uiowa.edu/~pfu/}
\end{minipage}
\end{center}
\vspace{20pt}

\section*{Education}
%% addddddddddddddddddddddddddddddddd dafffffffffffffffffffffffffffffffffffffffffffff uuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuu

%% \

\begin{itemize}
\item   Ph.D. Department of Computer Science, the University of Iowa, Iowa City, USA. Expected June 2014.
  \item B.Eng. School of Computer Science, Huazhong University of Science and Technology, Wuhan, China. July 2009.
\end{itemize}


\section*{Research Areas}
Type theory \`a la Curry and lambda calculus, with applications to interactive theorem proving and functional programming language. 

\section*{Dissertation Topic}
``Lambda Encoding in Type Theory \`a la Curry'', Peng Fu, expected to defend in June, 2014.

\section*{Publications}

\begin{enumerate}
\item ``A Framework for Internalizing Relations into Type Theory'' Peng Fu, Aaron Stump, Jeff Vaughan. PSATTT'11: International Workshop on Proof-Search in Axiomatic Theories and Type Theories (2011). 
\item ``Church Encoding with Dependent Type'', Peng Fu, Aaron Stump. planning.
\item ``Dependently-typed Programming with Scott Encoding '' Peng Fu, Aaron Stump. planning.
  
\end{enumerate}

\section*{Selected Talks}

\begin{enumerate}

\item ``A Framework for Internalizing Relations into Type Theory'', August 2011, PSATTT workshop, Wroclaw. Poland. 
\item ``Dependent Lambda Encoding with Self Types'', September 2012, Midwest Verification Days, Lawrence, KS.
\item ``Lambda Encoding, Types and Confluence. '', May 2013, Comprehensive Exam, Iowa City, IA.
\item ``Dependent Lambda Encoding with Self Types'', September 2013, ACM SIGPLAN Workshop on Dependently-Typed Programming(DTP), Boston, MA.
\end{enumerate}

\section*{Academia Expereince}

\begin{itemize}
\item Research Assistant, Supervisor: Aaron Stump, 2010 spring- 2013 summer. Department of Computer Science, The University of Iowa.
\item Teaching Assistant,  ``Object-Oriented Software Development '', 2013 Fall. Department of Computer Science, The University of Iowa.
\item Teaching Assistant,  ``Programming Language Concepts'', 2013 Spring. Department of Computer Science, The University of Iowa.
  \item Teaching Assistant, ``Computer Networking'', 2009 Fall. Department of Computer Science, The University of Iowa.
\end{itemize}
\end{document}
